trivial{-}component($f$)($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$scheme{-}none(), interface{-}compose($\lambda$$x$.inl ($f$($x$)) ;$X$)$>$